BDI Logics
نویسنده
چکیده
This paper presents an overview of so-called BDI logics. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal logic CTL*, the KARO framework and BDI logic based on stit (seeing to it that) logic.
منابع مشابه
Chapter 10 BDI Logics
This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal l...
متن کاملComplexity of multiagent BDI logics with restricted modal context
We present and discuss a novel language restriction for modal logics for multiagent systems that can reduce the complexity of the satisfiability problem from EXPTIME-hard to NPTIME-complete. In the discussion we focus on a particular BDI logic, called TeamLog, which is a logic for modelling cooperating groups of agents and which possesses some of the characteristics typical to other BDI logics....
متن کاملOn Constructing Fibred Tableaux for BDI Logics
In [11,13] we showed how to combine propositional BDI logics using Gabbay’s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. We show how to uniformly construct a tableau calculus for the combined logic using Governatori’s labelled tableau system KEM.
متن کاملOn Fibring Semantics for BDI Logics
This study examines BDI logics in the context of Gabbay’s fibring semantics. We show that dovetailing (a special form of fibring) can be adopted as a semantic methodology to combine BDI logics. We develop a set of interaction axioms that can capture static as well as dynamic aspects of the mental states in BDI systems, using Catach’s incestual schema Ga,b,c,d . Further we exemplify the constrai...
متن کاملA Combined Logic of Expectation & Observation. A generalisation of BDI logics
Although BDI logics have shown many advantages in modelling agent systems, the crucial problem of having computationally ungrounded semantics poses big challenges when extending the theories to multi-agent systems in an interactive, dynamic environment. The root cause lies at the inability of modal languages to refer to the world states which hampers agent reasoning about the connection of its ...
متن کامل